* etc/PROBLEMS: Remove some more old information.
authorGlenn Morris <rgm@gnu.org>
Thu, 27 May 2010 06:13:23 +0000 (23:13 -0700)
committerGlenn Morris <rgm@gnu.org>
Thu, 27 May 2010 06:13:23 +0000 (23:13 -0700)
commit42c49f4d3d06b897c55d7bd3d4d70e5302126bed
tree18128c6210da957e5dead2277e0fc5f6ee9175cb
parent6c4706fcc8f75a5962a225d802b65a1bc74779b2
* etc/PROBLEMS: Remove some more old information.
etc/PROBLEMS